Defeasible reasoning

Results: 74



#Item
11

Comparing Defeasible Logics Michael J. Maher1 Abstract. In this paper we seek to formally establish the similarities and differences between two formalizations of defeasible reasoning: the defeasible logics of Nute and M

Add to Reading List

Source URL: seit.unsw.adfa.edu.au

Language: English - Date: 2014-05-30 02:21:12
    12Knowledge / Reasoning / Critical thinking / Defeasible logic / Defeasible reasoning / Argument / Non-monotonic logic / Modal logic / Inquiry / Logic / Science / Non-classical logic

    On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au

    Add to Reading List

    Source URL: seit.unsw.adfa.edu.au

    Language: English - Date: 2012-01-12 21:52:26
    13Critical thinking / Philosophy of language / Philosophy / Arguments / Debating / Argumentation theory / Norm / Social simulation / Defeasible reasoning / Logic / Science / Knowledge

    Conflict Detection And Resolution in NMAS: An Argumentation Based Approach Zohreh Shams Department of Computer Science University of Bath, United Kingdom

    Add to Reading List

    Source URL: www.dcs.kcl.ac.uk

    Language: English - Date: 2013-06-10 07:49:00
    14Bayesian statistics / Statistical models / Reasoning / Arguments / Graphical models / Bayesian network / Probabilistic logic / Argumentation theory / Defeasible reasoning / Science / Logic / Knowledge

    A Structure-guided Approach to Capturing Bayesian Reasoning about Legal Evidence in Argumentation Sjoerd T. Timmer John-Jules Ch. Meyer Henry Prakken

    Add to Reading List

    Source URL: www.cs.uu.nl

    Language: English - Date: 2015-02-23 06:13:32
    15Critical thinking / Philosophy of language / Philosophy / Arguments / Debating / Argumentation theory / Norm / Social simulation / Defeasible reasoning / Logic / Science / Knowledge

    Conflict Detection And Resolution in NMAS: An Argumentation Based Approach Zohreh Shams Department of Computer Science University of Bath, United Kingdom

    Add to Reading List

    Source URL: www.inf.kcl.ac.uk

    Language: English - Date: 2013-06-10 07:49:00
    16Artificial intelligence / Science / Knowledge / Logic programming / Semantic reasoner / Defeasible reasoning / Knowledge representation and reasoning / Rule Interchange Format / Book:Semantic Web / Reasoning / Semantic Web / Knowledge representation

    SILK is here! Semantic Web Rules with Defeasibility, Higher-Order, and Scalability SILK is a … • Powerful rule knowledge representation (KR) language and system, with reasoner, UI, and interchange. It includes the RI

    Add to Reading List

    Source URL: silk.semwebcentral.org

    Language: English - Date: 2010-11-07 01:29:55
    17Knowledge representation / Logic / Knowledge engineering / Semantic Web / Defeasible reasoning / Knowledge representation and reasoning / Argument / Ontology / Richard Fikes / Science / Reasoning / Knowledge

    *****DEMO***** POSTER A SILK Graphical UI for Defeasible Reasoning, with Biology Causal Process Example Benjamin Grosof*, Mark Burstein**, Mike Dean**, Carl Andersen**, Brett Benyo**, William Ferguson**, Daniela Inclezan

    Add to Reading List

    Source URL: silk.semwebcentral.org

    Language: English - Date: 2010-11-07 01:29:45
    18Artificial intelligence / Logic programming / Epistemology / Logic / Critical thinking / Defeasible reasoning / Defeasible logic / Argumentation theory / Argument / Science / Knowledge / Reasoning

    Microsoft PowerPoint - talk-v6.ppt

    Add to Reading List

    Source URL: silk.semwebcentral.org

    Language: English - Date: 2009-07-10 16:09:48
    19Information science / Knowledge representation / Reasoning / Knowledge engineering / Rule Interchange Format / Semantic reasoner / Ontoprise GmbH / F-logic / Web Ontology Language / Semantic Web / Science / Knowledge

    The SILK System: Scalable Higher-Order Defeasible Rules Benjamin Grosof1 , Mike Dean2 , and Michael Kifer3 1 Vulcan Inc., Seattle, Washington, USA,

    Add to Reading List

    Source URL: silk.semwebcentral.org

    Language: English - Date: 2009-09-11 18:29:06
    20Knowledge / Reasoning / Non-classical logic / Critical thinking / Defeasible reasoning / Stable model semantics / Argumentation theory / Answer set programming / Defeasible logic / Logic programming / Logic / Science

    Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1

    Add to Reading List

    Source URL: silk.semwebcentral.org

    Language: English - Date: 2010-07-17 11:25:02
    UPDATE